The following pages link to (Q3830550):
Displaying 8 items.
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Logic programming and rapid prototyping (Q1091109) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Logic programming and software maintenance (Q1376088) (← links)
- (Q3046093) (← links)
- (Q4003803) (← links)
- Introducing Computer Science to High School Students Through Logic Programming (Q5197750) (← links)