User:Hakank

My Favorite Languages
Language	Proficiency
ABC	---
AMPL	---
Answer Set Programming	---
APL	---
AWK	---
BASIC	---
B-Prolog	---
BLOG	---
C	---
C++	---
C sharp	---
Common Lisp	---
Commodore BASIC	---
Eiffel	---
Emacs Lisp	---
Frink	---
Icon	---
GAP	---
Groovy	---
Haskell	---
J	---
JavaScript	---
Julia	---
K	---
Maple	---
Mathematica	---
MiniZinc	---
Modula-3	---
NetLogo	---
OCaml	---
Oz	---
Pascal	---
PHP	---
Perl	---
Perl 6	---
Picat	---
PL/SQL	---
Pop11	---
Prolog	---
PSI	---
Python	---
Q	---
R	---
REBOL	---
REXX	---
Ruby	---
Sage	---
Scala	---
Scheme	---
SETL	---
SNOBOL4	---
SQL	---
Unicon	---
WebPPL	---
Z3	---

Hakan Kjellerstrand, Swedish software developer (retired), Independent researcher.

Interests: programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI

Personal site: www.hakank.org

My language pages

• K/Kona
• Icon/Unicon
• Perl6
• SETL
• SetlX
• Pop-11/Poplog
• APL
• SABR
• PDDL
• Frink
• J
• JavaScript
• Julia
• Mathematica

My Constraint Programming (and related paradigms) pages

• G12 MiniZinc (very high level CP language)
• Google or-tools (Python, Java, C#)
• Tailor/Essence' (very high level CP language)
• ECLiPSe CLP System (Prolog)
• SICStus Prolog
• Gecode (C++)
• Comet (C++ like language)
• Gecode/R (Ruby interface to Gecode)
• Choco (Java)
• Choco3 (Java, not compatible with Choco version 2)
• JaCoP (Java)
• Scala in JaCoP (Java, Scala)
• OscaR (Scala)
• JSR-331 (Java Constraint Programming API, JSR-331)
• Numberjack (Python)
• G12 Zinc (very high level CP language)
• AIMMS+CP (AIMMS with CP)
• B-Prolog (Prolog)
• AMPL (CP/LP/MIP)
• Z3 (Microsofts high-performance theorem prover/constraint solver)
• Picat (CP, SAT, Logic-based, Imperative, Functional, Constraints)
• SWI-Prolog (Prolog, CP, Logic-based)
• Answer Set Programming (ASP) (this is a related paradigm)

Common constraint programming problems, lists problems (and links to models/programs) which are solved in at least two CP systems

Probabilistic programming languages

• BLOG
• PSI
• WebPPL

My blogs (not very active anymore)

• My Constraint Programming Blog, about Constraint Programming and related paradigms
• Arrays in Flux, anything but Constraint Programming
• hakank.blogg, General blog (mostly tech, math, programming, etc) Swedish