Posts

The game of Go

A list of links related to the game of Go Read more

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 Read more

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 Read more

CaSQ: Celldesigner as Sbml-Qual

CellDesigner model to SBML-Qual encoded logical model converter

   ______      _____ ____
  / ____/___ _/ ___// __ \
 / /   / __ `/\__ \/ / / /
/ /___/ /_/ /___/ / /_/ /
\____/\__,_//____/\___\_\

The former page with an interactive CaSQ converter has been deprecated.

CaSQ allows you to convert a CellDesigner model to a logical model with default logical rules.

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.

Cyclic Dice Programming Project

Nontransitive dice Read more

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.

Japanese Restaurants in Paris

An old list of (real) Japanese restaurants in Paris (in French) Read more

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.