Search results for "module:Language::Prolog"
Language::Prolog::Yaswi - Yet another interface to SWI-Prolog
This package provides a bidirectional interface to SWI-Prolog. That means that Prolog code can be called from Perl that can call Perl code again and so on: Perl -> Prolog -> Perl -> Prolog -> ... (unfortunately, by now, the cycle has to be started fr...ZMUGHAL/Language-Prolog-Yaswi-0.23 - 12 Feb 2022 18:07:06 UTC
Language::Prolog::Types - Prolog types in Perl.
This module exports subroutines to create Prolog terms in Perl, to test term types and also some utility functions to convert data between Prolog and Perl explicitly. You will see that there is not any kind of constructor for Prolog atoms, this is be...SALVA/Language-Prolog-Types-0.10 - 19 Mar 2007 09:27:39 UTC
Language::Prolog::Sugar - Syntactic sugar for Prolog term constructors
Language::Prolog::Sugar is able to export to the calling package a set of subrutines to create Prolog terms as defined in the Language::Prolog::Types module. Perl programs using these constructors have the same look as real Prolog programs. Unfortuna...SALVA/Language-Prolog-Sugar-0.06 - 24 Nov 2006 14:30:52 UTC
Language::Prolog::Yaswi::Low - Low level interface to SWI-Prolog
Low level interface to SWI-Prolog. SETTINGS The variable $Language::Prolog::Yaswi::Low::dl_load_flags can be used to change the way the XS part of the module is loaded. The default value (0x01) allows to use Prolog extensions written in C in most arc...ZMUGHAL/Language-Prolog-Yaswi-0.23 - 12 Feb 2022 18:07:06 UTC
A simple interpreter which doesn't allow infix operators (except for ":-" and ",", both of which are built in). SYNTAX There are three possible statements: 1. Clauses A single clause ending in a statement terminator ("."). This gets added to the data...LGODDARD/Language-Prolog-Interpreter-0.021 - 07 Jun 2001 11:16:20 UTC
Language::Prolog::Types::Factory - Perl extension to construct Prolog types
This module implements a set of constructor functions for Prolog terms. Internally the module use a factory object implementing "new_nil", "new_list", "new_ulist", "new_functor" and "new_variable". Look at Language::Prolog::Types::Internal for a real...SALVA/Language-Prolog-Types-0.10 - 19 Mar 2007 09:27:39 UTC
Language::Prolog::Types::overload - nice formating for Prolog terms.
When this module is loaded, Prolog terms are automatically converted to strings when printed or concatenated. When used in bool context, all terms but variables return true, even the nil term. In numerical context, functors return its arity and lists...SALVA/Language-Prolog-Types-0.10 - 19 Mar 2007 09:27:39 UTC
Language::Prolog::Types::Converter - Converts from Perl objects to Prolog terms
You should use this module if you want to change the default conversions performed when passing data between Perl and Prolog. METHODS "Language::Prolog::Types::Converter-">new()> returns a new converter object. "$self->pass_as_opaque($class1, $class2...SALVA/Language-Prolog-Types-0.10 - 19 Mar 2007 09:27:39 UTC
Language::Prolog::Types::Abstract - Abstract classes for Prolog terms in Perl.
This module define abstract classes for the usual Prolog functors, lists, variables and nil. Atoms are not included because perl scalars do the work. Perl "undef" is equivalent to Prolog nil (""), although a different representation is allowed for ...SALVA/Language-Prolog-Types-0.10 - 19 Mar 2007 09:27:39 UTC
Language::Prolog::Types::Internal - Prolog terms implementation
This class is intended to not be directly used but through the Language::Prolog::Types and Language::Prolog::Types::Factory modules. EXPORT None by default....SALVA/Language-Prolog-Types-0.10 - 19 Mar 2007 09:27:39 UTC
Language::XSB - use XSB from Perl.
From the XSB manual: XSB is a research-oriented Logic Programming and Deductive Database System developed at SUNY Stony Brook. In addition to providing all the functionality of Prolog, it contains features not usually found in Logic Programming Syste...SALVA/Language-XSB-0.14 - 04 Nov 2003 16:12:18 UTC
Language::XSB::Base - XSB SLG-WAN access
This module lets get and set the XSB SLG-WAM registers converting data between Prolog and Perl formats. It also has methods to initialize XSB and to make it run. It should be noted that registers in XSB are indexed from 1, but in Perl they are indexe...SALVA/Language-XSB-0.14 - 04 Nov 2003 16:12:18 UTC