Predicate

Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database. SYNOPSIS use Math::Logic::Predicate; $db = new Math::Logic::Predicate; # Enter some predicates into the database $db->add(< Platforms: *nix

LogicCalculus was designed as an accessible logic IDE (Integrated development environment) for the sentential logic and the predicate logic. Currently, the application can evaluate expressions and fill a truth table. Platforms: Windows

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows. Platforms: Windows, Mac, BSD, Linux

Product keys consist of special strings, required by some computer programs to function at full potential.Some features (dynamic keys, revokation, activation counts, encryption) require additional custom coding.InstallationUnpack in your modules folder (usually '/sites/all/modules/')Enable under... Platforms: PHP

Broken down into the file manager (ego) and the virtual filesystem (libferris/ferrisui). the VFS libferris is the core of the project, ego uses GTK+2 and gevas to present info from libferris and allow management using gfmv, gfcp, gfrm etc and file clip * Uses Evas, gEvas, and imLib2 for... Platforms: *nix

Parallel tools (named in manner to itertools & functools) is a set of commonly used list traversal functions, which is working in parallel (fault-tolerant) in synchronous or asynchronous manner. Implementation is based on python threading module, so be aware of GIL. Currently implemented... Platforms: *nix

Analyze a text. Diagonal read subject, predicate, object. Search for other pdf. Divide sentences in subclauses: segmentation. Divide plain text: subject, predicate, object. Count words: stemming. Search for similar content. Gives out subject, predicate and object of sentences of pdf and plain... Platforms: Windows 7, Other

Bio::Ontology::Relationship is a relationship for an ontology. SYNOPSIS $rel = Bio::Ontology::Relationship->new( -identifier => "16847", -subject_term => $subj, -object_term => $obj, -predicate_term => $pred ); This is a basic implementation of Bio::Ontology::RelationshipI. 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

Dee-Python project is an implementation of a truly relational database language with Python. Inspired by Date and Darwens Third Manifesto, it addresses the problems of impedance mismatch between programming languages and databases and the weakness of SQL. Mind The Gap Most of todays programs... Platforms: *nix

XML::XPathToXML is a Perl module that generates XML document from XPath expressions. SYNOPSIS my @data = ( /project/name => The Ultimate Question, /project/comment() => generated by XPathToXML , /project/start => 2002-09-08, /project/end => 7002002-09-08, /project/@id => 42,... Platforms: *nix

SQL::Amazon::UserGuide is a Perl module with user Guide for DBD/SQL::Amazon. SYNOPSIS # # create the parser, passing in the current Amazon metadata # my $parser = SQL::Amazon::Parser->new(%attrs); # # parse a SQL statement, returning a SQL::Amazon::Statement # my $stmt =... Platforms: *nix

Array::PatternMatcher is a pattern matching for arrays. SYNOPSIS This section inlines the entire test suite. Please excuse the ok()s. use Array::PatternMatcher; Matching logical variables to input stream # 1 - simple match of logical variable to input my $pattern = AGE ; my $input =... Platforms: *nix

OpenLexicon is a business rules and business process management tool that rapidly develops applications for transaction and process-based applications. There are two main components of OpenLexicon: the metadata repository and the business rules engine. The OpenLexicon business rules engine is... Platforms: *nix

C#Prolog is a prolog interpreter written in C# designed to be easily integrated in C# programs. The most important characteristics that this tool has are: reliable and fairly fast interpreter, command line interface, builtin DCG, XML-predicates, persistent predicates (using Firebird RDBMS),... Platforms: Windows

GNU Nana is a free library providing improved support for assertion checking (as in assert.h) and logging (printf style debugging) in GNU C and C . Features: - Space/time efficient, at least compared to assert.h. For example assert(i >= 0) uses 53 bytes on the x86, while Nana uses either 10 bytes... Platforms: *nix, C/C++, BSD

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.The implementation is based on the data structure binary decision diagram (BDD), which is well-known as... Platforms: C and C plus plus

RDF is a W3C standard for modeling and sharing distributed knowledge based on a decentralized open-world assumption. Any knowledge about anything can be decomposed into triples (3-tuples) consisting of subject, predicate, and object; essentially, RDF is the lowest common denominator for... Platforms: PHP

This module adds workflow_ng (in Drupal 5) and Conditional Actions (in Drupal 6) support to Ubercart payment methods, so payment methods can be restricted by cart total, user role, or any other conditions that these modules provide.This does not override the standard payment methods page at... Platforms: PHP

repoze-oauth-plugin is a repoze.who and repoze.what plugin implementing the server side of the OAuth 1.0 protocol. Currently it supports only 2-legged flow where the client is at the same time a resource owner. This happens when a client application has access to the resources on the server on... Platforms: *nix