Prolog

Prolog is a logic programming language used for artificial intelligence and computational linguistics. Programs are expressed as relations represented by facts and rules, and computation is performed by running queries over these relations.

LiveCodes runs Prolog in the browser using Tau Prolog, a Prolog interpreter written in JavaScript.

Usage

Demo

show code

JS

import { createPlayground } from 'livecodes';

const options = {
  "template": "prolog"
};
createPlayground('#container', options);

TS

import { createPlayground, type EmbedOptions } from 'livecodes';

const options: EmbedOptions = {
  "template": "prolog"
};
createPlayground('#container', options);

React

import LiveCodes from 'livecodes/react';

export default function App() {
  const options = {
  "template": "prolog"
};
  return (<LiveCodes {...options} />);
}

Vue

<script setup>
import LiveCodes from "livecodes/vue";

const options = {
  "template": "prolog"
};
</script>
<template>
  <LiveCodes v-bind="options" />
</template>

Svelte

<script>
import LiveCodes from 'livecodes/svelte';

const options = {
  "template": "prolog"
};
</script>

<LiveCodes {...options} />

Solid

import LiveCodes from 'livecodes/solid';

export default function App() {
  const options = {
  "template": "prolog"
};
  return (<LiveCodes {...options} />);
}

Preact

import LiveCodes from 'livecodes/preact';

export default function App() {
  const options = {
  "template": "prolog"
};
  return (<LiveCodes {...options} />);
}

Web Components

<live-codes
  template="prolog"></live-codes>

<script type="module">
  import "livecodes/web-components";
</script>

JavaScript Interoperability

JavaScript can interact with the Prolog interpreter using the livecodes.prolog.createSession() method:

• livecodes.prolog.createSession({ limit?: number }) — creates a new Prolog session, returns a promise
• session.query(goal) — runs a query
• session.answer(callback) — receives answers one at a time
• session.promiseQuery(goal) — promise-based query
• session.promiseAnswers() — async iterator for answers
• session.format_answer(answer) — formats an answer as a string

See Tau Prolog's documentation for more details.

Example:

const session = await livecodes.prolog.createSession();
session.query('father(X, jack).');
session.answer((answer) => {
  console.log(session.format_answer(answer));
});

Language Info

Name

prolog

Extensions

.prolog.pl, .prolog

Editor

script

Compiler

Tau Prolog

Code Formatting

Not supported.

Starter Template

https://livecodes.io/?template=prolog

Links

• Tau Prolog
• Tau Prolog on GitHub