Questions tagged [logic-programming]
The logic-programming tag has no usage guidance.
2
questions with no upvoted or accepted answers
2
votes
0
answers
44
views
Abduction in a Herbrand Constraint System
I have a simple constraint system with a finite set $C$ of constant symbols, an infinite set $V$ of variables, and two relation symbols - $R_1$, a preorder, and $R_2$, an equivalence relation. ...
2
votes
0
answers
89
views
How to select good examples for inductive logic programming?
I encounter a question while reading Quinlan's 1990 paper "Learning Logical Definitions from Relations". He described that (section 5.2) for learning the recursive relations on lists, the ...