Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.

Features

  • Prolog-implementation in Java
  • Conceptual Graphs are first-class Prolog citizens
  • Integration with Java both ways
  • Ontologies
  • Built-in Prolog primitives for CG matching algorithms
  • Run as a Java Desktop application
  • Run as a Java Applet in a webbrowser
  • Run from the command line on a (toy) server, or as part of a script

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2), GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Prolog+CG

Prolog+CG Web Site

Other Useful Business Software
Run Any Workload on Compute Engine VMs Icon
Run Any Workload on Compute Engine VMs

From dev environments to AI training, choose preset or custom VMs with 1–96 vCPUs and industry-leading 99.95% uptime SLA.

Compute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
Try Compute Engine
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Prolog+CG!

Additional Project Details

Operating Systems

Linux

Languages

English

Intended Audience

Education, End Users/Desktop, Science/Research

User Interface

Java Swing

Programming Language

Java, Prolog

Related Categories

Prolog Installers, Prolog Benchmark Software, Prolog Distributed Computing Software, Prolog Artificial Intelligence Software, Prolog Education Software, Java Installers, Java Benchmark Software, Java Distributed Computing Software, Java Artificial Intelligence Software, Java Education Software

Registered

2004-07-01