package swipl

  1. Overview
  2. Docs
Bindings to SWI-Prolog for OCaml

Install 

dune-project
 Dependency

gitlab.com Edit opam file Versions (1)

Authors

  1. K
    Kiran Gopinathan

Maintainers

  1. K
    kirang@comp.nus.edu.sg

Sources

swipl-ocaml-v0.5.tar.gz
md5=a4ea377afe5c52496bf445621ad2e02b
sha512=bcb55c99ae6a2308028d813c78e512901e4ab4f1bb6f054a95de044abee9e420ff9100e4bb6e00520977b800039e8e5338739a4b2ace28cbf8961ba415e33230

doc/swipl.swipl/Swipl/Syntax/index.html

Module Swipl.SyntaxSource

The Syntax module provides a useful set of combinators for constructing prolog terms using idiomatic OCaml syntax.

As the operators in this module shadow common OCaml ones (&&, ||), typically you want to locally open this module:

 Swipl.Syntax.(app ("consult" /@ 1) [! file])
Sourceval (/@) : string -> int -> fn

fn /@ arity mirrors the prolog syntax ./pred/arity and declares a prolog function named fn with arity arity.

Note: If you call this function before initialise you will segfault.

Sourceval (!) : string -> t

! atom creates a prolog term representing the atom atom.

Note: If you call this function before initialise you will segfault.

Sourceval app : ?module_:module_ -> fn -> t list -> t

app ?module_ fn args creates a prolog term that represents the symbolic expression module_:fn(args...).

Sourceval (&&) : t -> t -> t

t1 && t2 creates a prolog term that represents the conjunction of two prolog queries - i.e the prolog expression t1,t2.

Sourceval (||) : t -> t -> t

t1 || t2 creates a prolog term that represents the disjunction of two prolog queries - i.e the prolog expression t1; t2.