SpiceQA
Questions
Tags
Users
Badges
swi-prolog
swi-prolog
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Ask the user to input two strings and check whether one string is a substring of another in prolog
Vaibav Reddy
0
•
asked Sep 21, 2022
0
1
39
swi-prolog
substring
prolog
string
Exctraction of the Proof from Fitting's leanTap Prolog Prover
Joseph Vidal-Rosset
0
•
asked Sep 18, 2022
1
3
104
swi-prolog
prolog
algorithm
1
(current)
Hot Questions