pmoura Goto Github PK

aarroyoc-packs

My registry for the Logtalk / Prolog package manager

awesome-actions

A curated list of awesome actions to use on GitHub

bacon-logtalk

Bacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.

banpipe

BANpipe is logic-based pipeline programming language

bedsit

A Bedrock foundation for building Logtalk apps using Situational-state

cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

dctg-logtalk

Definite Clause Translation Grammar

eye

Euler Yet another proof Engine

format-source

Format Prolog or Logtalk source files

gprolog

GNU Prolog

graphplan

Port of the Prolog GraphPlan Project to Logtalk

hello-github-actions

icc.xmitransform

A transformer of a Platform Independent Model represented in Modelio XMI to zope.schema based Schemas and Python interfaces

identity

A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management

lgtinit

Initializes project scaffolding for Logtalk projects.

lgtstep

Automatically exported from code.google.com/p/lgtstep

lgttcltk_machineparts

linguist

Language Savant

lpn

Learn Prolog Now LaTeX sources

macports-ports

The MacPorts ports tree

magiclogtalkpacks

Magic Logtalk Packs

marelle

Test-driven system administration with a little extra logic.

ohcount

The Ohloh source code line counter

proscriptls

A WAM-based Javascript implementation of Prolog with DOM builtins and debugger.

public

Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/

radruntime

A runtime to support rapid application development with Logtalk.

rtec

RTEC is an Event Calculus implementation optimised for stream reasoning

sitcalc

A generic framework for passing round "state" in Logtalk applications based on Situation Calculus

spec

The canonical spec for ulid

stripstate

A STRIPS/Situation Calculus handler for handling state in Logtalk applications without mutation.