Constraint Logic Programming (Ch.14)

ePAPER READ

DOWNLOAD ePAPER

cosc.brocku.ca

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

START NOW

Example 1: arithmetic

?- 1+X = 5.

no

?- 1+X is 5.

no

?- {1+X = 5}. % enclose constraint in { }’s

X = 4

B. Ross COSC 2Y01 Prolog

2P99/3P99/4F90 Guidelines - Computer Science - Brock University

Winter 2013 COSC 4P80: Assignment 1 Implementation Assignment ...

COSC 1P03 Data Structures and Abstraction 18.1

Delta-Bar-Delta and Extended Delta-Bar-Delta - Computer Science

Proposal approval form - Computer Science - Brock University

Automatic Generation of Graph Models for Complex Networks by ...

COSC 1P03 Data Structures and Abstraction 20.1

Procedural 3D Texture Synthesis Using Genetic Programming

Task Performance Metrics on Liquid Crystal Displays - Computer ...

CLP • Types of CLP: – CLP(R): variables take values over reals (decimal points) – CLP(Z): integers – CLP(Q): rationals (fractions) – CLP(FD): finite domains (sets) and others • Good for solving problems involving: – scheduling – linear equations and optimization – logistics • To run with SICStus: ?- use_module(library(clpq)). % CLP package for rationals (fractions) ?- use_module(library(clpr)). % CLP package for reals ?- use_module(library(clpfd)). % CLP package for finite domains (sets) B. Ross COSC 2Y01 Prolog 2

Example 1: arithmetic ?- 1+X = 5. no ?- 1+X is 5. no ?- {1+X = 5}. % enclose constraint in { }’s X = 4 B. Ross COSC 2Y01 Prolog 3

Page 1: Constraint Logic Programming (Ch.14
Page 5 and 6: Example: integers and Fibonacci % R
Page 7 and 8: Fibonacci • Infinite loop happens
Page 9 and 10: Money puzzle ?- use_module(library(

Constraint Logic Programming (Ch.14)

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?