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)

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

This page was built for software: Pengines