Tim: The toulouse inference machine for non-classical logic programming

This publication has 6 references indexed in Scilit:

• Programming in modal logic: An extension of PROLOG based on modal logic
  Published by Springer Nature ,1987
• MOLOG: A system that extends PROLOG with modal logic
  New Generation Computing, 1986
• Tokio: Logic programming language based on temporal logic and its compilation to Prolog
  Published by Springer Nature ,1986
• N-Prolog: An extension of Prolog with hypothetical implications. I.
  The Journal of Logic Programming, 1984
• A simple deduction method for modal logic
  Information Processing Letters, 1982
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976