The Prolog not-predicate and negation as failure rule

DOI10.1007/BF03037511zbMath0705.68033MaRDI QIDQ918193

Tok Wang Ling

Publication date: 1990

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

completenesssoundnessnegation as failureClark's query evaluation procedureextended query evaluation procedureProlog not-predicate

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Information storage and retrieval of data (68P20)

Cites Work

• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
• Making prolog more expressive
• Unnamed Item
• Unnamed Item

This page was built for publication: The Prolog not-predicate and negation as failure rule