Demonstrating (Hybrid) active logic documents and the ciao prolog playground, and an application to verification tutorials

We propose a demonstration of the Active Logic Documents (ALDs) approach and the Ciao Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD), and a concrete application of these technologies.

​We propose a demonstration of the Active Logic Documents (ALDs) approach and the Ciao Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD), and a concrete application of these technologies. Read More

Related posts:

Teaching prolog with active logic documents An s(CASP) in-browser playground based on Ciao Prolog Improvements in Ciao Prolog’s development environment: developing a rich development environment for Ciao on visual studio code A unified framework for neuroscience morphological data visualization cpvlib: A comprehensive open-source tool for modeling CPV systems Fuzzy Logic Controller for Half Vehicle Active Suspension System: An Assessment on Ride Comfort and Road Holding