The following pages link to (Q4211444):
Displaying 7 items.
- Parsing as non-Horn deduction (Q688151) (← links)
- Logic programming with sets (Q909435) (← links)
- Pseudo-Boolean valued Prolog (Q1117705) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules (Q3210889) (← links)
- (Q4492860) (← links)
- Generalization-Driven Semantic Clone Detection in CLP (Q5097639) (← links)