Archive for the ‘Prolog’ Category

Using OCaml’s module functors to provide monadic contexts for Batteries

Hi,
Several days ago, bluestorm and I started working on monads-related stuffs for Batteries, so that we’d be able to provide a good API for writing and using monads in Objective Caml.
Well, we’ve now written the basis of the future monad-related functions and modules in Batteries.
Of course, we’ve introduced two key monads, keeping Batteries’ spirit : [...]


Network programming with Prolog (SWI)

Network programming is an important part of the development process. Nowadays, a good programming language must ease network programming.
The Prolog programming language includes this feature. In fact, as I’m working with SWI-Prolog, I know this feature is (well) covered by this Prolog distribution but I suppose that other distributions also give tools for network programming [...]


Writing User Interfaces in Prolog with XPCE

Hi,
Writing UIs in Prolog is a very simple thing !
First, with SWI-Prolog, there’s a dialog editor based on Drag & Drop, like we have for Java, C# or C++, and it generates a prolog-xpce code that we just have to execute to see the window being shown on our screen.
However, we can manually write code [...]


The Prolog programming language

Maybe you still don’t know this programming language.
The Prolog programming language permit for example to use logic programming and constraint programming which are uncommon paradigms.
This language is mainly based on the backtracing and unification principles.
If you can read French, you should give a whirl at the following article : Présentation du langage Prolog.
If you can’t, [...]