Comments (2)
Good catch!
This will definitely be better integrated in the future. One guarantee I am striving for is to have everything I am describing in the main portion of the book available in at least one free Prolog system, so that interested readers can easily try it out.
For attributed variables, there are cutting-edge news: Mark Thom implemented support for attributed variables with the SICStus interface in rusty-wam only a few days ago!
I am self-assigning this item and will provide better integration and coverage that will take the latest developments in this area into account.
from the-power-of-prolog.
The online version of the chapter now explains attributed variables using the interface provided by SICStus and Scryer Prolog:
https://www.metalevel.at/prolog/attributedvariables
It is very nice that a free system can now be used to experiment with this interface! However, there is one issue that remains to be solved so that the examples yield identical results in both systems:
Once that is resolved, I will commit the changes, and integrate the chapter in the table of contents.
from the-power-of-prolog.
Related Issues (20)
- Add Well formed semantics/tabing section
- More modern look of the book HOT 1
- `if` spelled as `iff` HOT 2
- Switch to the markdown format of the book
- Add links to the next chapter at the bottom
- scryer-prolog 0.0.0.0 IP address but not localhost? HOT 2
- How to set executable path for a package on a configuration file on Emacs? HOT 4
- Add links to research papers
- Error in chapter on web applications HOT 2
- Error trying to connect to local server HOT 3
- Term Rewriting prolog code HOT 3
- DCG-ification of mi_list3
- Exercises HOT 1
- Your length rule doesn't work for me HOT 1
- How to maximise socialisation to the SGP if the number groups/people/weeks is fixed?
- `attribute_goals/3` existence error while following "Attributed Variables" chapter HOT 2
- `reversal` query from DCG chapter loops HOT 3
- DCGs: A declarative/logical way to describe pushback lists?
- Index page '/prolog' is not available offline HOT 4
- Integer Arithmetic - "left as an exercise" that is too difficult
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from the-power-of-prolog.