Prolog

Notes that link to this note

• Robert Kowalski
• Simply Logical
• Formalization of the British Nationality Act
• Ciao
• Logtalk
• HiLog
• Introduction of PROLEG (PROlog-based LEGal reasoning support system)
• s(CASP)
• The rise and fall of the legal expert system
• Logic Programming
• Involvement, Detachment and Programming: The Belief in PROLOG