Product documentation

/

Home

Navigation

App Mode Dataflow Context

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

Automation API Divooka Engine Divooka Explore Embedding Divooka

Desktop GUI Application Making Web API Testing

Divooka File Formats Interface Overview Keyboard Shortcuts Procedural Debugging

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

Hello World Installation Self-Hosting

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

Application Development Divooka Basics Getting Started Language Features Preset Workloads

Streaming Countdown

Getting Started Making Flappy Bird in Glaze!

Audio Engine Extending Glaze Glaze! Examples Glaze! Tutorials

Basic Concepts Examples Getting Started Installation Novella Development

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

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

Shader Examples

Expresso Glaze! Novella Ol'ista Shader Lab Slide Present Task Scheduler

Basic Gameplay Dialogue Examples Game Guide Maps

A Detective Story

Data Scientist Web Developer

Challenge Yourself Complexity Measurement Data Driven Design Design Principles Divooka FAQ History of Divooka HTTP Methods & Web API Learning Path 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 NuGet Tooboxes

Methodox Chat Gateway

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

Glaze! Benchmark

Version: v0.8.5.3

Benchmarks Divooka™ Compute Divooka™ Engine Divooka™ Explore Packages List Release Status Roadmap

RFC 017 RFC 025 RFC 166

DiDS DiNOM DiRS DiSL Divooka Language Specification

Embedding in Python

Novel Generation in Divooka

Create C Read Divooka Document

Lesson 1 Lesson 2 Lesson 3 Lesson 4 Lesson 5

April-July 2025

Create Class Hello World in Divooka Online Libraries

Code Development Internal Training Public Training Scripting

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

Changelog Projections Themes World to Beyond

CLI Tools Fantasy Planet Painter Launcher Methodox™ Threads Transcriber

Demos Development DiSuite Divooka Divooka Central Divooka Open Standards Feedback & Support Frameworks Knowledge Base Methodox One Release Notes RFC Tutorials Utilities

About

Methodox Wiki Copyright © 2024-2026 Methodox Technologies, Inc. Home Return to the landing page

Home/Divooka/Topics/Logic Programming

Documentation

Logic Programming in Divooka

Use Prolog to express logical queries.

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
Editor: markdown
Tags: advanced

On this page

Top