Product documentation

Home

Navigation

Navigation

Dataflow Context

C Create Standalone Executable for Your Divooka Program Plugin Development Procedural Context Extension

Divooka Explore Embedding Divooka

Code Generation State

Application Development

Desktop GUI Application Making Web API Testing

Divooka File Formats Interface Overview Keyboard Shortcuts Math in Divooka Procedural Debugging Working with Binary Data

Getting Started

Hello World How to Learn Divooka Installation Self-Hosting

Language Features

Array Coercion Create C Dataflow Contexts Declarative Contexts Divooka Documents Function Reference Graph Graph Contexts Graph Inputs/Outputs Graph Reference Implicit Type Conversion Import NuGets MicroParcel MiniParcel OOP Procedural Contexts Python Interoperation Subgraphs

Music Production

App Mode (in Neo) Modularization

2D Interactive Media Building Websites in Divooka ComfyUI API Data Analytics Image Processing In-Memory SQL Logic Programming in Divooka Plotting in Divooka String Manipulation Use Cases

Preset Workloads Procedural Terrain Generation

Divooka Central

Divooka Open Standards

DiDS DiNOM DiRS Divooka Language Specification

Extending Glaze

Glaze! Examples

Streaming Countdown

Glaze! Tutorials

Getting Started Making Flappy Bird in Glaze!

Basic Concepts Examples Getting Started Installation Novella Development

Capabilities Markit Templates Web API Web App (Experimental) Web DOM

Shader Examples

Shader Example: 3D Sphere (Raymarching) Shader Example: Black Hole Shader Example: Cloud Tunnel Shader Example: Digital Counter Shader Example: Moving Field Shader Example: Numbers Display Shader Example: Parallex Mapping Shader Example: Raymarching Cloud Shader Example: Sci-fi Tunnel Shader Example: Tunnel 003

Expresso Slide Present Task Scheduler

A Detective Story

Basic Gameplay Dialogue Examples Game Guide Maps

3D

Data Scientist Web Developer

Challenge Yourself Complexity Measurement Data Driven Design Design Principles Divooka FAQ History of Divooka HTTP Methods & Web API Low Code Markdown Practice Problems Regular Expression REST API Semantic Versioning SQL SQLite Terminology Text-Based Pseudo Code The Neo Graph Editor What is Programming Learning

Divooka.Core Divooka.CoreEngine Divooka.Infrastructure.DevelopmentWebServer

Dhole Melody Synth Tooboxes

Online Services

Methodox Chat Gateway

Cloud Store Divooka Central (Connection) Methodox One Account One API

(2025) "The First" (2025) "The Second" (2026) "The Third"

Python API

Glaze! Benchmark Mandelbrot Benchmark

Divooka™ Explore

Version: v0.8.5.3

Design Principles Divooka™ Compute Divooka™ Engine Packages List Release Status Roadmap

RFC 017 RFC 025 RFC 166

Embedding in Python

Novel Generation in Divooka

Code Development

Create C Read Divooka Document

Internal Training

April-July 2025

Lesson 1 Lesson 2 Lesson 3 Lesson 4 Lesson 5

Create Class Hello World in Divooka Online Libraries

Public Training

Comparison Getting Started Migration Guide Pure in Divooka Tutorial (Pure)

Fantasy Planet Painter

Changelog Projections Themes World to Beyond

Launcher Methodox™ Threads SoundFont Inspector Transcriber

DiSuite Feedback & Support

© 2024–2026 Methodox Technologies, Inc.

Home/Divooka/Topics/Logic Programming

Logic Programming in Divooka

Divooka supports using Prolog for logic programming.

Database Query

Page Info

Title: Logic Programming in Divooka
Description: Use Prolog to express logical queries.
Published: 2025-05-25
Created: 2025-05-25
Tags: advanced

On this page

Top

Documentation search

Find a page

Type to search page titles, descriptions, and routes.

↑↓ Navigate Enter Open Esc Close