Prolog

RTF::Writer is a Perl module for generating documents in Rich Text Format. SYNOPSIS use RTF::Writer; my $rtf = RTF::Writer->new_to_file("greetings.rtf"); $rtf->prolog( title => "Greetings, hyoomon" ); $rtf->number_pages; $rtf->paragraph( fs40bi, # 20pt, bold, italic "Hi there!" );...

A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).

MIME-tool is a little mime encoding tool I slapped together when I needed something on a production box at work (productions = no C development environment, only the ancient K&R compiler required for god-knows-what sys-admin task). The resulting program will compile happilly on both the...


Platforms: *nix

AI::Prolog::Builtins is a Perl module with builtin predicates that AI::Prolog supports. Comments Comments begin with a % and terminate at the end of the line or begin with /* and terminate with */. Variables As in Prolog, all variables begin with an upper-case letter and are not quoted....


Platforms: *nix

High Level Virtual Machine is a toolkit for developing virtual machines for dynamic languages. The High Level Virtual Machine is: - Based on LLVM (Low Level Virtual Machine). LLVM is HLVMs sister project. HLVM gains tremendous capability from LLVM in the areas of code generation, bytecode...


Platforms: *nix

GNU Source-highlight produces a document with syntax highlighting when given a source file. Source-highlight reads source language specifications dynamically, thus it can be easily extended (without recompiling the sources) for handling new languages. GNU Source-highlight also reads output...


Platforms: *nix

Logtalk is an open source object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, it is compatible with most Prolog compilers. Logtalk supports both prototypes and classes. In addition, it supports...


Platforms: *nix

Beanie is a flexible, distributed accounting system for medium-sized companies. It includes back-end batch processing as well as a GTK GUI and provides automated purchases, sales, and nominal ledgers as well as automated invoicing (via email). Beanie project also supports payroll and VAT....


Platforms: *nix

YProlog is a pocket Prolog engine written in 100% Java. YProlog provides a number of fast and easy Java-Prolog interfacing functions that enables the Prolog database to be used like an SQL-type database: - fast consult and retract operations - "serialize" database contents into text - load...


Platforms: *nix

text-vimcolor is a command-line program to syntax color a file in HTML, XML or PDF. SYNOPSIS $ text-vimcolor --format html --full-page FILENAME > OUTPUT.html $ text-vimcolor --format xml FILENAME > OUTPUT.xml $ text-vimcolor --format pdf FILENAME --output OUTPUT.pdf This program uses the...


Platforms: *nix

SHJS (Syntax Highlighting in JavaScript) is a JavaScript program which highlights source code passages in HTML documents. Documents using SHJS are highlighted on the client side by the web browser. SHJS uses language definitions from GNU Source-highlight. This gives SHJS the ability to highlight...


Platforms: Windows, Mac, *nix, JavaScript, BSD Solaris

Language::XSB is a Perl module that allows you to use XSB from Perl. SYNOPSIS use Language::XSB :query; use Language::Prolog::Types::overload; use Language::Prolog::Sugar vars=>[qw(X Y Z)], functors=>{equal => =}, functors=>[qw(is)], chains=>{plus => +, orn => ;}; xsb_set_query(...


Platforms: *nix

A fast and easy tool for counting source code, blank and comment lines of software projects for many programming/script languages. With this application you get a detailed report (as table and additionally as graphic) about the source code of your software project. It counts not only source code...


Platforms: Windows

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based...


Platforms: Mac

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Windows

ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog


Platforms: Windows, Mac, Linux

Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.


Platforms: Windows, Mac, BSD, Solaris, Linux

GPP is a general-purpose preprocessor with customizable syntax, suitable for a wide range of preprocessing tasks. Its independence from any one programming language makes it much more versatile than the C preprocessor (cpp), while its syntax is lighter and more flexible than that of GNU m4. There...


Platforms: Mac, *nix, C/C++, BSD Solaris

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Linux

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Windows