Deutsch Desktop

home

site

user

basket

message

download

Use Privacy

(c) 2008-2020 XLOG Technologies GmbH

Site Map

Documentation

Introduction

File
Edit
Build
Window
Help

Terminal
Non-Responding

Register
Information
Service
Email

Paths
Path
Capabilities
Capability
Terminal
Colour
Text
Language

Introduction

Text
Path
Threads
Memory

File
Edit
Search
View
Run
Window
Help

Toolbar
Popup
Status
Look & Feel

Terminal
Search
Non-Responding
Look & Feel

About
Register
Information
Service
Email

Path
Enlist
Terminal
Colours
Text
Language

hello.p
hello2.p

Hello.java
Hello2.java

thread.p

fac.p

Introduction

Animals
Primes
Money
Rabbits
Parallel

Conversations

Solution
Error
Consult
Interrupt
Compatibility

Filler
String
Word
Number
Line
Unicode
Compatibility

Simple
Compound
List
Expression
Special
Compatibility

Consult
Session
Compatibility

Definitions

Prolog
Predicate
Source
Operator
Thread

special
body
control
Optimization
Indexing
Sharing
Compatibility

meta
quali
logic
distributed
dynamic
session
Compatibility

eval
elem
round
bits
trigo
compare
ratio
Compatibility

type
vars
lexical
univ
atom
bytes
Compatibility

pred
oper
source
foreign
stats
Compatibility

engine
toolkit
load
path
module
Compatibility

Example 1
Example 2
Example 3
Example 4
Example 5

Acknowledge

Public
Package
Meta
Closure
Operator

Public
Package
Meta
Closure
Operator

Public
Package
Meta
Closure
Operator

Public
Package
Meta
Closure
Operator

Introduction

Call-in Table
Call-in Throw
Call-out Table
Mix Counter
Mix Limiter
Combiner

Interpreter
Knowledge
Term
Special
Protocol
Foreign

Knowledge
AbstractTerm
TermAtomic
TermCompound
TermVar

CallIn
CallOut
Capability
Interpreter
Exception
Message
Toolkit

Library
Runtime
Applet
Messages
Package

Compiling
Running

Example 1
Example 2
Example 3
Example 4
Example 5
Example 7

Installation

Introduction

Release 1.4

Release 1.4.5
Release 1.4.4
Release 1.4.3
Release 1.4.2
Release 1.4.1
Release 1.4.0

Release 1.3

Release 1.3.8
Release 1.3.7
Release 1.3.6
Release 1.3.5
Release 1.3.4
Release 1.3.3
Release 1.3.2
Release 1.3.1
Release 1.3.0

Release 1.2

Release 1.2.7
Release 1.2.6
Release 1.2.5
Release 1.2.4
Release 1.2.3
Release 1.2.2
Release 1.2.1

Release 1.1

Release 1.1.8
Release 1.1.7
Release 1.1.6
Release 1.1.5
Release 1.1.4
Release 1.1.3
Release 1.1.2
Release 1.1.1

Release 1.0

Release 1.0.10
Release 1.0.9
Release 1.0.8
Release 1.0.7
Release 1.0.6
Release 1.0.5
Release 1.0.4
Release 1.0.3
Release 1.0.1
Release 1.0.0

Release 0.9

Release 0.9.12
Release 0.9.11
Release 0.9.10
Release 0.9.9
Release 0.9.8
Release 0.9.7
Release 0.9.6
Release 0.9.5
Release 0.9.4
Release 0.9.3
Release 0.9.2
Release 0.9.1
Release 0.9.0

Release 0.8

Release 0.8.9
Release 0.8.8
Release 0.8.7
Release 0.8.6
Release 0.8.5
Release 0.8.4
Release 0.8.3

Versions
Activation
Top-Level
Embedding
Discovery
System

Activation
Top-Level
Embedding
Discovery
System

Applet
Script
System

Documentation
Examples
Interpreter

Conversations

Activation
Registry

Runtime
Installation
Compliance
Swing
Android
Web

Introduction

Flag
Palindrome
Fruits

Conversations

Ensure
Make
Unload
Compatibility

Compatibility

Grammar
Compatibility

Definitions

Prolog
Predicate
Stream
Operator
Thread

apply
approx
expand
dcg
arith
sort
Compatibility

lists
random
hyper
proxy
array
utility
score
Compatibility

signal
sets
ordsets
sequence
aggregate
tabling
bags
Compatibility

maps
simp
abstract
ordmaps
ref
broker
Compatibility

char
byte
term
stream
console
xml
Compatibility

file
uri
group
thread
zone
locale
domain
Compatibility

text
residue
lock
pipe
time
socket
cond
Compatibility

Flag
Palindrome
Fruits

Acknowledge

Public
Package
Meta
Closure
Operator

Introduction

Dispatch
Access
Default
Java
Loaded
Instances
State

Pythoneks
Objects
Overriding
Virtual
Auto
Proxy

RuntimeWrap
Pivot

Example 1
Example 2
Example 3
Example 4
Example 5
Example 6
Example 7

Introduction

Memory
Resolution
Scope

Optimizations

Choice
Indexing
Body
Stack
Head

Results
Choice
Indexing
Body
Stack
Head

Interpreter

Results
ECLiPSe
SWI
GNU
Ciao
B-Prolog

Common
Jekejeke
ECLiPSe
SWI
GNU
Ciao
B-Prolog

nrev
crypt
deriv
poly
qsort
tictac
queens
query
mtak
perfect
calc

Introduction

Data
Flow
Query
Terminal
Uses

Flow
Pane
Progess
Frame
Uses

Class
HTML
Uses

Agent
Flow
Service
Stub
Frame
Uses

Driver
Statement
Frame
Uses

Terminal
Standalone
Applet
Servlet
Client
Database

DeployAndroid

Introduction

Prerequisites

Java
Android
Version

Flow
Screens
Progess
Manifest
Uses

Manifest
Uses

Mobile
TV

Introduction

Prerequisites

Java
Web
Version

Flow
Servlet
Data
Web
Uses

Flow
JSP
Uses

Flow
Parent
Child
Uses

Common
Configuration
Operation

Servlet
JSP
Shared

Development

Documentation

Introduction

Debug
Window

Monitor

Introduction

Debug
Window

Debug

Monitor

Introduction

Deterministic
Non-Deterministic
Advanced
Statistics

Conversations

Control
Callback
Ports
Prompt
Interrupt
Compatibility

Definitions

Prolog
Thread
Predicate
Stream
Callable
Frame

debug
default
friendly
dump
Compatibility

notation
frame
provable
syntax
store
micro
base
Compatibility

summary
runner
diagnose
result
tracker
cover

protocol
mode
automatic
attach
charsio
Compatibility

model
serialize
transform
json
Compatibility

Public
Package
Meta
Closure
Operator

Programming

Introduction

Interaction
Relative
Thread
Uses

Interaction
Panel
Thread
Frame
Uses

Instrumentation
Interfaces

Environment
Development

einstein
relative
RelativeAPI
thread
ThreadAPI
ThreadHeadless

memory
MemoryFrame
MemoryJob
MemoryPanel
ThreadFrame

Installation

Introduction

Release 1.4

Release 1.4.5
Release 1.4.4
Release 1.4.3
Release 1.4.2
Release 1.4.0

Release 1.3

Release 1.3.8
Release 1.3.6
Release 1.3.4
Release 1.3.3
Release 1.3.2
Release 1.3.1
Release 1.3.0

Release 1.2

Release 1.2.7
Release 1.2.2

Release 1.1

Release 1.1.8
Release 1.1.7
Release 1.1.6
Release 1.1.5
Release 1.1.4
Release 1.1.3
Release 1.1.2
Release 1.1.1

Release 1.0

Release 1.0.9
Release 1.0.7
Release 1.0.6
Release 1.0.5
Release 1.0.4
Release 1.0.3
Release 1.0.1

Release 0.9

Release 0.9.12
Release 0.9.10
Release 0.9.9
Release 0.9.8
Release 0.9.7
Release 0.9.5
Release 0.9.4
Release 0.9.3
Release 0.9.2
Release 0.9.1
Release 0.9.0

Release 0.8

Release 0.8.9
Release 0.8.8
Release 0.8.7
Release 0.8.6
Release 0.8.5
Release 0.8.4
Release 0.8.3

Environment

Versions
Activation
Top-Level
Embedding
Discovery
System

Activation
Top-Level
Embedding
Discovery
System

Documentation
Example
Interpreter

Introduction

Hello

Conversations

Main
Desktop
Mobile
Threads
Stack
Binding
Source

Definitions

Prolog

http

server

filter

Hello

Öffentlich
Zum Paket
Meta
Closure
Operator

Introduction

Discrepancies

Visibility
Error
Clean-up
Simplify

Sealing

Narrower
Broader

Array

Property

Syntax
Predicate
Evaluable

Scope
Method
Sources
Harness
Cases

basic
moddiv
sincos
bitwise
eqless

file
data
apply

pred
kernel
logical
signal

structure
regex
vars
block
intnum
ratnum

text
binary
read
open

intatom
compare
term
string
set

near

grammar
hiord
invoke
struct
codec
tabel

connect
load
notation
proxy
quali
rewrite

Documentation

Introduction

Parent

Introduction

Parent

Introduction

Bonner's
Animals
Palindrom
Money
Solver
Inference

Conversations

Backward
Forward
Chart
Finite

Definitions

Prolog
Predicate
Source
Atom

assume
hypo
delta
chart
chr
asp

herbrand
suspend
unify
verify
state

Integers
Sets
Comparison
Reification
Search
tree
clpb

elem
bits
Compatibility

attr
trail
cont
Compatibility

Acknowledge

Public
Package
Meta
Closure
Operator

Programming

Introduction

Minlog

Installation

Introduction

Releases 1.1

Release 1.1.3
Release 1.1.1

Releases 1.0

Release 1.0.8
Release 1.0.6
Release 1.0.3
Release 1.0.0
Release 1.0.0

Releases 0.9

Release 0.9.5
Release 0.9.4
Release 0.9.3
Release 0.9.2
Release 0.9.1

Releases 0.8

Release 0.8.8
Release 0.8.7
Release 0.8.6
Release 0.8.5
Release 0.8.4
Release 0.8.3
Release 0.8.2
Release 0.8.1

Releases 0.7

Release 0.7.8
Release 0.7.8
Release 0.7.6
Release 0.7.5
Release 0.7.4
Release 0.7.3
Release 0.7.1

Releases 0.6

Release 0.6.6
Release 0.6.5
Release 0.6.4
Release 0.6.3
Release 0.6.2
Release 0.6
Release 0.5

Top-Level
Embedding
System

Top-Level
Embedding
System

Documentation
Examples
Interpreter

Extension
Installation

Introduction

Conversations

Definitions

Prolog
Predicate
Source
Atom

scale
arith
multi
poly
trigo

generic
integer
rational
variable
polynom
fraction

element
vector
matrice
ordered
ring

subst
deriv
series
radical

Public
Package
Meta
Closure
Operator

Introduction

Indexing
Forward
Attribute
Scope

Optimizations

Choice
Refer
Constant
Variable

Results
Bound
Refer
Body
Stack

Interpreter

Results
GNU
B-Prolog
ECLiPSe
SWI
Ciao

common.p

jekejeke.p

gprolog.p

bprolog.p

eclipse.p

swi.p

ciao.p

grocery
pythago
queens
money
crypt
zebra
pigeon

refer.p
add.p

referensure.p
addensure.p

clpfd
intset
linform
reify
enum
clpb
tree

elem

herbrand
suspend
verify
unify
state

linear
sets
special
bool
guard
search
sat

bitprop
numtheo

delay
api

helper
multi
poly
trigo

element
vector
matrice
ordered
ring

generic
integer
rational
variable
polynom
fraction

subst
deriv
series
radical

precision
addmul
expsin

onedim
exchstep
samebef
utilpoly

parteval
simplify
nonfrac

varchange
autodiff
expansion

animals

primes

money

both
cage
nest

perfect
perfect2

InTable
tablein

InThrow
throwin

OutTable
tableout

OutInCount
countoutin

OutInLimit
limitoutin

Combine
data

flag
flag2

palin
palin2

fruit
fruit2

Compatibility

ciaosuite
gnusuite
gnuutil
gprolog

ideapad_bprolog
ideapad_ciao
ideapad_cxprolog
ideapad_eclipse
ideapad_gprolog
ideapad_jekejeke
ideapad_jiprolog
Ideapad Sicstus
ideapad_swi
ideapad_xsb
ideapad_yap

huawei_jekejeke
ideapad_lpacmp
ideapad_lpaint
ideapad_sicscmp
ideapad_sicsint
mac13_jekejeke
mac16_jekejeke
mac19_jekejeke
mediapad_jekejeke
nvidia_jekejeke
sony_jekejeke

bprolog
ciao
eclipse
jekejeke
suite
swi
util

calc
crypt
deriv
mtak
nrev
perfect
poly
qsort
queens
query
tictac

Query
Terminal
table

Pane
Standalone

Applet
page

Client
Stub
agent
service

Database
StatementAPI
driver
insert
schema

DeployAndroid

deployandroid_banner
deployandroid_icon

strings
styles

Adapter
AndroidManifest
Criterias
Query
Results
table

AndroidManifest

web

Data
Plain
Query
table

form

Child
Child2
Parent
shared
table2

run
server
start
stop

beagle
dog
rottweiler

beagle
dog
rottweiler

beagle
chihuahua
dog
rottweiler

Beagle
Dog
Rottweiler
main

Beagle
Dog
Rottweiler

InterfaceDog
beagle
chihuahua
rottweiler

InterfaceDog
beagle
rottweiler

Development

rev

data

count
count2

hello
piglet

basic
bitwise
eqless
moddiv
sincos

apply
data
file

kernel
logical
pred
signal

block
intnum
ratnum
regex
structure
vars

data
jekejeke
suite

binary
open
read
text

compare
intatom
set
string
term

near

codec
grammar
hiord
invoke
struct
tabel

jekejeke
suite

connect
load
notation
proxy
quali
rewrite

Grade
Grade2

Animals3

Palin3

Money3

Domain

Typed
Typed2

Golfer
Riddle

Ideapad Jekejeke
Ideapad Sicstus
Ideapad Swi

Jekejeke5
Sicstus5
Suite5
Swi5
Util

Finsat

Config
Kitchen
Magic
Ortho
Pigeon
Primes
Queens

Herbrand
Herbrand2
Herbrand3

Ideapad Jekejeke
Ideapad Sicstus
Ideapad Sicstus3
Ideapad Swi

Jekejeke6
Sicstus6
Suite6
Swi6
Util

Hilbert
Insanity

Ideapad Bprolog
Ideapad Eclipse
Ideapad Gprolog
Ideapad Jekejeke
Ideapad Swi

Jekejeke4
Sicstus4
Suite4
Swi4
Util

Crypt3
Grocery3
Money3
Pigeon3
Pythago3
Queens3
Wolfram3
Zebra3

Bool
Guard
Linear
Sat
Search
Sets
Special

Jekejeke
Suite

Bitprop
Numtheo

Api
Delay

Addmul
Expsin
Precision

Exchstep
Onedim
Samebef
Utilpoly

Nonfrac
Parteval
Simplify

Jekejeke
Suite

Autodiff
Expansion
Varchange

Page247
Wumpus

Wumpus

Wumpus

Console
Wumpus

Wumpus 1.0.0

Chat80

Chat80

Aggreg
Border
Chatops
Cities
Contai
Countr
Ndtabl
Rivers
World0

Clotab
Newdic
Newg
Ptree
Qplan
Scopes
Slots
Talkr
Templa
Xgrun

Preprocessor

Chat80 1.0.0

Roman

Roman

Roman

Roman 1.0.0

Wordnet

Wordnet

Wordnet

Wordnet 1.0.0

Dcg Basics

Dcg Basics

Conversion
Dcg Basics
Unicode

Dcg Basics 1.0.0

Lambda

Lambda

Lambda

Lambda 1.0.0

Development

Hello

Hello

Hello

Hello 1.0.0

99 Problems

Remake99

Remake99

Remake99 1.0.0

ForeignStatistics
TimeRecord
Gestalt
Platform
stats

AbstractFlag
AbstractProperty
ChoiceAlter
ChoiceTrap
Flag
FlagSession
FlagThread
SpecialBody
SpecialControl
SpecialSpecial
body
control
Description
Kernel
special

Interpreter

AbstractChoice
AbstractDefined
AbstractDefinedMultifile
AbstractSpecial
ChoiceDefined
ChoiceDefinedMultifile
ChoiceInspect
ChoiceInspectMultifile
DefinedBlocking
DefinedBlockingMulti
DefinedGroupLocal
DefinedLockfree
DefinedThreadLocal
Engine
EngineYield
LocalBlocking
LocalLockfree
Predicate
StackElement
Supervisor

AbstractCache
AbstractUndo
BindUniv
CacheFunctor
CacheModule
CachePackage
CachePredicate
CacheSubclass
CallFrame
Display
EngineException
EngineMessage
OperatorSearch
SkelAtomQuali
SupervisorWrap
UndoCont
UndoSerno

AbstractFile
AbstractLocator
AbstractSource
Foyer
LookupBase
PrologReader
PrologReaderAnno
PrologWriter
PrologWriterAnno
ReadOpts
SkelAtomAnno
Store
StoreKey
WriteOpts

Bouquet
Clause
Directive
Goal
Index
InterfacePairs
InterfaceRope
Intermediate
LoadForce
LoadOpts
Operator
Optimization
PairsArray
PairsHash
RopeArray
RopeHash

CommandLine
ForeignStatistics
TimeRecord
Gestalt
Platform
stats

EvaluableBits
EvaluableCompare
EvaluableElem
EvaluableRound
SpecialCompare
SpecialEval
bits
compare
elem
eval
ratio
round
trigo

ForeignConcat
ForeignEngine
ForeignPath
ForeignToolkit
InitOpts
SpecialLoad
concat
engine
load
module
path
Reader
Reference
toolkit

PropertyOperator
PropertyPredicate
PropertySource
PropertyStream
SpecialForeign
SpecialMember
SpecialOper
SpecialPred
SpecialSource
Api
foreign
member
oper
pred
source

EvaluableLogic
SpecialDynamic
SpecialLogic
SpecialSession
distributed
dynamic
Engine
logic
meta
quali
Runtime
session

AbstractLexical
AtomCursor
EngineVars
ForeignAtom
ForeignBytes
LexicalCallback
LexicalCollator
SpecialLexical
SpecialType
SpecialUniv
SpecialVars
atom
bytes
lexical
type
univ
vars

ChoiceCleanup
ChoiceMask
ForeignPivot
ForeignRevolve
ForeignVariant
SpecialSignal
VariantKey
aggregate
bags
ordsets
pivot
revolve
sequence
sets
signal
tabling
variant

Counter
ForeignHyper
ForeignRandom
InterfaceProxyable
SpecialArray
SpecialProxy
SpecialScore
array
hyper
Info
lists
proxy
random
score
utility

InterfaceReference
SpecialRef
abstract
broker
maps
ordmaps
ref
simp

ForeignCond
ForeignLock
ForeignPipe
ForeignResidue
ForeignSocket
ForeignText
ForeignTime
cond
lock
pipe
residue
socket
text
time

ChoiceArith
ForeignApprox
SpecialApply
SpecialArith
SpecialSort
SupervisorCall
SupervisorCopy
apply
approx
arith
dcg
expand
sort

ForeignByte
ForeignChar
ForeignConsole
ForeignStream
ForeignTerm
byte
char
console
Foreign
Frequent
stream
term
xml

ForeignDirectory
ForeignGroup
ForeignLocale
ForeignThread
ForeignZone
domain
file
group
locale
Show
thread
uri
zone

AbstractDelegate
AbstractFactory
AbstractLense
AutoArray
FlagFactory
LenseDimension
LenseElement
LenseLength
LenseUpdate
PropertyPredicateAPI
PropertyStreamAPI
Types

AirDrop
AirDropEntry
BranchSWI
CapabilitySWI
DescriptionSWI
RecognizerSWI

AbstractAuto
CallIn
Capability
Interpreter
Toolkit

AbstractMember
AutoClass
ChoiceForeign
ChoiceSpecial
ChoiceVirtual
LookupBinary
LookupResource
MemberConstructor
MemberFieldGet
MemberFieldSet
MemberMethodDet
MemberMethodNondet
MemberSpecialDet
MemberSpecialNondet
MemberVirtualDet
MemberVirtualNondet
Score
Tracking

AbstractExecutor
AbstractReflection
BranchAPI
CapabilityAPI
DescriptionAPI
ExecutorDefault
ExecutorInterface
InterfacePivot
ProxyExecutor
ProxyHandler
ProxyPivot
Reflection
RuntimeWrap

AbstractSkel
AbstractTerm
Knowledgebase
PositionKey
SkelAtom
SkelCompound
SkelVar
TermAtomic
TermCompound
TermVar

Development

FoyerTrace
LocatorTrace
PositionMap
PredicateSet

FriendlyPrinter
PropertyTracePredicate
PropertyTraceStream
SpecialDefault
SpecialDump
SpecialFriendly
custom
Debug
default
dummy
dump
friendly
Reference

ForeignBase
ForeignMicro
ForeignStore
PropertyTraceFrame
PropertyTraceStore
SpecialFrame
SpecialNotation
SpecialProvable
SpecialSyntax
base
frame
micro
notation
provable
store
syntax

ForeignModel
ForeignSerialize
ForeignTransform
SerializeOpts
TransformOpts
directives
json
model
serialize
transform

ConnectionReaderTrace
ConnectionWriterTrace
SpecialAttach
SpecialMode
attach
automatic
charsio
mode
protocol
Trace

cover
diagnose
helper
result
runner
summary
Testing
tracker

http

filter

AbstractFactoryTrace
FlagFactoryTrace
desktop
mobile
server
view

FlagForward

Experimental

SpecialCont
Attr
Cont
Dummy
Minlog
Reference
Trail

Clpb
Clpfd
Enum
Helper
Intset
Linform
Reify
Tree

Asp
Assume
Chart
Chr
Delta
Hypo

Miscellaneous

SpecialBits
SupplementBits
SupplementElem
Bits
Elem

Herbrand
State
Suspend
Unify
Verify

SpecialArith
SpecialHelper
SupplementScale
Arith
Helper
Multi
Poly
Scale
Trigo

Element
Matrice
Ordered
Ring
Vector

Fraction
Frequent
Generic
Integer
Polynom
Rational
Variable

Deriv
Radical
Series
Subst

AbstractBundle
AbstractDescription
AbstractFramework
AbstractInteractor
AbstractRecognizer
AbstractRuntime
ArrayEnumeration
DefaultBundle
DefaultInteractor
DefaultRecognizer
FileExtension
ForeignArchive
GestaltEntry
Memory
Intl

AbstractAssoc
AbstractList
AbstractMap
AbstractSet
AssocArray
AssocSorted
HashScrambler
ListArray
ListSorted
MapEntry
MapHash
MapHashEntry
MapHashLink
MapHashLinkEntry
MapTree
MapTreeEntry
SetEntry
SetHash
SetHashEntry
SetHashLink
SetHashLinkEntry
SetTree
SetTreeEntry

Alarm
AlarmEntry
Bounded
InterfacePipe
Monitor
Nonescalable
NonescalableRead
NonescalableWrite
SetLink
SetLinkEntry
Unbounded
Unslotted

AbstractCompiler
AbstractPattern
AbstractSpecimen
CodeType
CompLang
CompilerSimple
IgnoreCase
Match
PatternInter
PatternUnion
ScannerError
ScannerToken
SpecimenSimple
Scanner

CacheBounded
ConnectionInput
ConnectionOutput
ConnectionReader
ConnectionWriter
ForeignCache
ForeignDomain
ForeignFile
ForeignUri
ForeignXml
MimeHeader
OpenCheck
OpenDuplex
OpenOpts

AbstractDomestic
AbstractLivestock
Fence
Interruptible
InterruptibleInput
InterruptibleOutput
LangProperties
LivestockEvent
LivestockEventClose
LivestockEventMemory
ManagedGroup
MapHashLinkWithImport
MapHashWithImport
PropertiesWithImport
StyleAttribute

ExtensibleClassLoader
HotspotUsage
InterruptHandler
RuntimeHotspot
SwingGestalt

AndroidGestalt
DalvikUsage
InspectClassLoader
InterfaceURLs
NotificationListener
ResidualClassLoader
RuntimeDalvik

Registration
Reset
Entries
Preferences
Password
E-Mail Address

Download
Details
Payments
Activations

Distribution
Evaluation
Conditions

Search
Forum
Contact
Character
Paragraph

Use
Privacy
Account

Web Deployment
Using Media

Prolog 1.4.4
Prolog 1.4.3
Prolog 1.4.2

Archive 2019

Runtime GitHub
Hello New Year
OO Programs
Parallel Search

Prolog 1.4.1
Prolog 1.4.0
Prolog 1.3.8
Prolog 1.3.7
Prolog 1.3.6
Prolog 1.3.5
Prolog 1.3.4

New Domicile

Archive 2018

Google+ R.I.P.
Forum Separated

Prolog 1.3.3
Prolog 1.3.2
Prolog 1.3.1
Prolog 1.3.0
Prolog 1.2.7
Prolog 1.2.6

Downtime

Archive 2017

Pollux Index
simple division

Prolog 1.2.5
Prolog 1.2.4
Prolog 1.2.3
Prolog 1.2.2
Prolog 1.2.1
Prolog 1.1.8

Server Up

Archive 2016

Dmytro
path AOS?
Issuu

Prolog 1.1.7
Prolog 1.1.6
Prolog 1.1.5
Prolog 1.1.4
Prolog 1.1.3
Prolog 1.1.2
Prolog 1.1.1

Archive 2015

optimizing
using packages
paths

Prolog 1.1.0
Prolog 1.0.9
Prolog 1.0.8
Prolog 1.0.7
Prolog 1.0.6
Prolog 1.0.5

Archive 2014

Common Types
Domain Error
Java Objects
Read/1
android: cursor

Prolog 1.0.4
Minlog 0.7.3
Prolog 1.0.3
Prolog 1.0.2
Prolog 1.0.1
Prolog 1.0.0

Archive 2013

Javascript
Reset Random
Stack Overflow
Predicate issue

Holidays 2013
Prolog 0.9.12
Minlog 0.6.6
Prolog 0.9.11
Minlog 0.6.5
Prolog 0.9.10
Prolog 0.9.9
Minlog 0.6.4
Prolog 0.9.8
Minlog 0.6.2
Prolog 0.9.7

SGAICO 2013
TaCoS 2013

Archive 2012

Twitter
Embedding
Custom CLP(*)
Android
Google+

Holidays 2012
Prolog 0.9.6
Prolog 0.9.5
Minlog 0.5
Prolog 0.9.4
Prolog 0.9.3
Prolog 0.9.2

TaCoS 2012

Archive 2011

SQL Example

Holidays 2011
Prolog 0.9.1
Prolog 0.9.0

Indexing

JSON XSLT

DCG Expansion

palin.p
desugar.p

Structured Data

Entity JSON

squares.p
squares_ex.p

ISO Prolog Core

Higher-Order

Cheat Sheet

Steps
Screenshots

Historization

Refactoring

Development

Integration

Description

Step

Steps

Download