Pengines

MaRDI QIDQ24337swMATHFDO

Official website http://www.swi-prolog.org/pldoc/doc_for?object=section%28%27packages/pengines.html%27%29

Described by source

• Pengines: Web Logic Programming Made Easy

Cited in

(9)

• Tableau reasoning for description logics and its extension to probabilities
• Advances in integrative statistics for logic programming
• SWI-Prolog
• proSQLite
• Real
• plml
• PIDoc
• scientific article; zbMATH DE number 7453126 (Why is no real title available?)
• Using SWISH to realize interactive web-based tutorials for logic-based languages

This page was built for software: Pengines