More specification and relational programming bookmarks.
Chris Pressey
1 year, 11 days ago
| 5 | 5 |
|
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
|
8 |
|
|
9 |
### People
|
|
10 |
|
|
11 |
[Dept. of Computing, Imperial College, London: Robert Kowalski Home Page](https://www.doc.ic.ac.uk/~rak/)
|
|
12 |
|
|
13 |
### Prolog
|
| 8 | 14 |
|
| 9 | 15 |
[prolog - How to implement fully-declarative Horn logic? - Stack Overflow](https://stackoverflow.com/questions/31674831/how-to-implement-fully-declarative-horn-logic)
|
| 10 | 16 |
|
|
| 23 | 29 |
[Prolog Tutorial \-- 2.5](https://web.archive.org/web/20120203025542/http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_5.html)
|
| 24 | 30 |
|
| 25 | 31 |
[Prolog Guide - Data Structures](http://kti.ms.mff.cuni.cz/~bartak/prolog/data_struct.html)
|
|
32 |
|
|
33 |
[Index of /nofib/real/prolog/](http://darcs.haskell.org/nofib/real/prolog/)
|
|
34 |
|
|
35 |
[Notes: Unification](http://www.cs.trincoll.edu/~ram/cpsc352/notes/unification.html)
|
|
36 |
|
|
37 |
### Logic Production Systems
|
|
38 |
|
|
39 |
[LPS \| Logic Production Systems](http://lps.doc.ic.ac.uk/)
|
|
40 |
|
|
41 |
[lpsmasters / lps\_corner --- Bitbucket](https://bitbucket.org/lpsmasters/lps_corner/src/master/)
|
| 14 | 14 |
|
| 15 | 15 |
[clojure - Understanding Mini-Kanren\'s Execution Model - Stack Overflow](https://stackoverflow.com/questions/10118292/understanding-mini-kanrens-execution-model)
|
| 16 | 16 |
|
| 17 | |
[A Complexity Study for Interleaving SearchA Complexity Study for Interleaving Search - minikanren-2021-final7.pdf](http://minikanren.org/workshop/2021/minikanren-2021-final7.pdf)
|
|
17 |
[A Complexity Study for Interleaving Search - minikanren-2021-final7.pdf](http://minikanren.org/workshop/2021/minikanren-2021-final7.pdf)
|
| 18 | 18 |
|
| 19 | 19 |
[The reasoned schemer : Friedman, Daniel P : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/reasonedschemer0000frie/mode/2up?view=theater)
|
| 20 | 20 |
|
|
| 30 | 30 |
|
| 31 | 31 |
[constraint programming - clp(Z) vs. Kiselyov relational arithmetic - Stack Overflow](https://stackoverflow.com/questions/61944276/clpz-vs-kiselyov-relational-arithmetic)
|
| 32 | 32 |
|
|
33 |
[Lecture 15 - Constraint Satisfaction Problems (wayback, broken images)](https://web.archive.org/web/20160612081457/http://www.doc.ic.ac.uk/~sgc/teaching/pre2012/v231/lecture15.html)
|
|
34 |
|
|
35 |
[Lecture 15 - Constraint Satisfaction Problems (wayback) (ppt)](https://web.archive.org/web/20180404184624/http://www.doc.ic.ac.uk:80/~sgc/teaching/pre2012/v231/lecture15.ppt)
|
|
36 |
|
| 33 | 37 |
[amb - The CHICKEN Scheme wiki](https://wiki.call-cc.org/eggref/5/amb)
|
| 8 | 8 |
|
| 9 | 9 |
_See also: [Logic](Logic.md), [Model Checking](Model-Checking.md), [Theorem Proving](Theorem-Proving.md)_
|
| 10 | 10 |
|
|
11 |
[Notes on B. Meyer\'s \"On Formalism in Specifications\"](https://www.cs.scranton.edu/~mccloske/courses/se507/meyer_formalism_in_specs_lec.html)
|
|
12 |
|
|
13 |
### Graphical
|
|
14 |
|
|
15 |
[About the Unified Modeling Language Specification Version 2.5.1](https://www.omg.org/spec/UML/2.5.1)
|
|
16 |
|
| 11 | 17 |
[Systems modeling language - Wikipedia](https://en.wikipedia.org/wiki/Systems_modeling_language)
|
| 12 | 18 |
|
|
19 |
[SysML Open Source Project: What is SysML? Who created it?](https://sysml.org/index.html)
|
|
20 |
|
|
21 |
### Logical
|
|
22 |
|
| 13 | 23 |
[SE 507 Algebraic Specifications](https://www.cs.scranton.edu/~mccloske/courses/se507/alg_specs_lec.html)
|
| 14 | |
|
| 15 | |
[Notes on B. Meyer\'s \"On Formalism in Specifications\"](https://www.cs.scranton.edu/~mccloske/courses/se507/meyer_formalism_in_specs_lec.html)
|
| 16 | 24 |
|
| 17 | 25 |
[Developing an Iterative Program to Compute a Tail Recursive Function](https://www.cs.scranton.edu/~mccloske/courses/se504/tail_recursion.html)
|
| 18 | 26 |
|