Posts

Trappist is a tool for computing minimal trap spaces of a Boolean model.
The trappist tool for computing minimal trap spaces is described in this article
Thu, Nov 30, 2023
Trappist is a tool for computing minimal trap spaces of a Boolean model.
Inférence automatisée de modèles Booléens à partir de cartes d'interaction moléculaire en utilisant CaSQ
French article about our CaSQ publication in Bioinformatics
Mon, May 25, 2020
CaSQ: Celldesigner as Sbml-Qual
CaSQ installation and/or running guidelines.
Wed, Aug 29, 2018
CaSQ: Celldesigner as Sbml-Qual
Prolog programming guidelines

This is a set of reasonable guidelines for formatting Prolog programs, freely adapted from Caml guidelines and M. Covington’s Prolog coding guidelines. They aim at reflecting the consensus among the programmers of the Lifeware team.

Fri, Mar 16, 2018 Prolog
Cyclic Dice Programming Project
Nontransitive dice
Tue, Sep 12, 2017 Prolog
Nicotine

Nicotine Is a COnstraint-based T and p-INvariant Extractor.

Besides being a famous alkaloid found in tobacco, Nicotine (Nicotine Is a COnstraint-based T and p-INvariant Extractor) is a (GNU Prolog) program that computes a Petri-net’s invariants by using Constraint Programming and has grown to encompass many other utilities.
Wed, Jan 4, 2017
Nicotine
Japanese Restaurants in Paris
An old list of (real) Japanese restaurants in Paris (in French)
Wed, Jan 4, 2017
Creating Prolog executables

I have recently been porting some of my GNU Prolog code to both SWI Prolog and SICStus Prolog.

Here is a simple attempt at synthesizing some of what I learnt from that experience, especially as far as building executables is concerned.

Wed, Jan 4, 2017 Prolog