All pages tagged with Prolog

• Updating the 2pKt library for Python
• Ruolo e utilizzo di Prolog nello sviluppo di nuovi linguaggi di programmazione Agent-Oriented
• Labelled Transition Systems Generator
• Parallelism in Logic Programming: A Systematic Literature Review
• Systematic Literature Review on Inductive Logic Programming (ILP)
• Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog
• Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
• Agreement with Argumentation and Artifacts in an ADR Scenario
• CSM User's Guide
• Implementing Contexts in Logic Programming
• Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
• Implementing the ACLT Coordination Model
• Designing a Development Environment for Logic and Multi-Paradigm Programming
• 2P-Kt: logic programming with objects & functions in Kotlin
• Towards Logic Programming as a Service: Experiments in tuProlog
• The LuCe Coordination Technology for MAS Design and Development on the Internet
• Objects with State in CSM
• Moving Prolog Toward Objects
• Objects with State in Contextual Logic Programming
• A Prolog-oriented extension of Java programming based on generics and annotations
• Integrating Java and Prolog through Generic Methods and Type Inference
• Quintus Prolog 3.0
• Multi-paradigm Java-Prolog Integration in tuProlog
• Towards a Logic Language and Framework for Web Programming
• Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
• 2P-Kt: logic programming with objects & functions in Kotlin
• Experiment with Stochastic Prolog as Simulation Language
• Web Logic Programming
• 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
• Game Engines and MAS: Tuplespace-based Interaction in Unity
• Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog
• Extending the 2P-Kt ecosystem with Concurrent Logic Programming support
• Game Engines and MAS: BDI & Artifacts in Unity
• Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla