English Desktop

home

site

Seitenübersicht

user

basket

message

download

Nutzung Datenschutz

(c) 2008-2020 XLOG Technologies GmbH

Seitenübersicht

Herunterladen

Dokumentation

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
Pound

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

Acknowledge

Öffentlich
Zum Paket
Meta
Closure
Operator

Öffentlich
Zum Paket
Meta
Closure
Operator

Öffentlich
Zum Paket
Meta
Closure
Operator

Öffentlich
Zum Paket
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

Öffentlich
Zum Paket
Meta
Closure
Operator

Introduction

Mutex
Queue

Auto
Proxy
Supervision

RuntimeWrap
Slots

Example 6
Example 8

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
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

Entwicklung

Herunterladen

Dokumentation

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
dict
func
Compatibility

Öffentlich
Zum Paket
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

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

Zusammenfassung

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

Zusammenfassung

near

grammar
hiord
invoke
struct
codec
tabel

connect
load
notation
proxy
quali
rewrite

Herunterladen

Dokumentation

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

Öffentlich
Zum Paket
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

Öffentlich
Zum Paket
Meta
Closure
Operator

Introduction

Indexing
Forward
Attribute
Scope

Optimizations

Bound
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

Zusammenfassung

Überdeckung

clpfd
intset
linform
reify
enum
clpb
tree

elem

herbrand
suspend
verify
unify
state

linear
sets
special
bool
guard
search
sat

bitprop
numtheo

delay
api

Zusammenfassung

Überdeckung

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

basset
dog

InTable
tablein

InThrow
throwin

OutTable
tableout

OutInCount
countoutin

OutInLimit
limitoutin

Combine
data

flag
flag2

palin
palin2

fruit
fruit2

Kompatibilität

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

Entwicklungs

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

Nützliches

DCG Grundlage

Dcg Basics

Dcg Basics

Conversion
Dcg Basics
Unicode

Dcg Basics 1.0.0

Lambda

Lambda

Lambda

Lambda 1.0.0

Hello

Hello

Hello

Hello 1.0.0

99 Probleme

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

EvaluableQuali
SpecialDynamic
SpecialLogic
SpecialQuali
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
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
LenseMember
LenseUpdate
PropertyPredicateAPI
PropertyStreamAPI
Types

AirDrop
AirDropEntry
BranchSWI
CapabilitySWI
DescriptionSWI
RecognizerSWI

AbstractAuto
CallIn
Capability
Interpreter
Toolkit

AbstractMember
AutoClass
ChoiceForeign
LookupBinary
LookupResource
MemberConstant
MemberConstructor
MemberFieldGet
MemberFieldSet
MemberFunction
MemberMethodDet
MemberMethodNondet
Score
Tracking

AbstractExecutor
AbstractReflection
BranchAPI
CapabilityAPI
DescriptionAPI
ExecutorFunction
ExecutorMethod
InterfaceSlots
ProxyHandler
ProxyState
Reflection
RuntimeWrap

AbstractSkel
AbstractTerm
Knowledgebase
PositionKey
SkelAtom
SkelCompound
SkelVar
TermAtomic
TermCompound
TermVar

Entwicklungs

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
dict
directives
func
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

SpecialCont
Attr
Cont
Dummy
Minlog
Reference
Trail

Clpb
Clpfd
Enum
Helper
Intset
Linform
Reify
Tree

Asp
Assume
Chart
Chr
Delta
Hypo

Verschiedene

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
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

Persönlich

Registrieren
Rücksetzen
Einträge
Einstellungen
Passwort
E-Mail-Adresse

Bestellungen

Herunterladen
Details
Zahlungen
Aktivierungen

Verteilung
Evaluation
Bedingungen

Suche
Forum
Kontakt
Zeichen
Abschnitt

Rechtliches

Nutzung
Datenschutz
Konto

Unterstützung

Web Einsatz
Medium benutzen

Erscheinungen

Prolog 1.4.4
Prolog 1.4.3
Prolog 1.4.2

Veranstaltungen

Archiv 2019

Unterstützung

Runtime GitHub
Hello New Year
OO Programme
Parallele Suche

Erscheinungen

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

Veranstaltungen

Sitzverlegung

Archiv 2018

Unterstützung

Google+ R.I.P.
Forum Geteilt

Erscheinungen

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

Veranstaltungen

Ausfallzeit

Archiv 2017

Unterstützung

Pollux Index

Erscheinungen

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

Veranstaltungen

Server läuft

Archiv 2016

Unterstützung

Issuu

Erscheinungen

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

Archiv 2015

Unterstützung

Erscheinungen

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

Archiv 2014

Unterstützung

Erscheinungen

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

Archiv 2013

Unterstützung

zweite Schritte
erste Schritte

Erscheinungen

Festtage 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

Veranstaltungen

SGAICO 2013
TaCoS 2013

Archiv 2012

Unterstützung

Twitter
Einbettung
Eigene CLP(*)
Android
Google+

Erscheinungen

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

Veranstaltungen

TaCoS 2012

Archiv 2011

Unterstützung

SQL Beispiel

Erscheinungen

Festtage 2011
Prolog 0.9.1
Prolog 0.9.0

JSON XSLT

DCG-Expansion

palin.p
desugar.p

Strukturierte

Entitäten JSON

Zielexpansion

squares.p
squares_ex.p

Beweglichkeit

ISO Prolog Kern

Höherer Stufe

Spickzettel

Schritte
Bildschirmfotos

Historisierung

Umgestaltung

Entwicklung

Integration

Beschreibung

Schritt

Schritte