Pengines

swMATH12408MaRDI QIDQ24337FDOQ24337

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• SWI-Prolog
• proSQLite
• plml
• Real
• PIDoc
• Advances in integrative statistics for logic programming

This page was built for software: Pengines