Practice Prolog (20 results)
Published by McGraw Hill Higher Education 1996
- Softcover
Seller: Bookmans, tucson, AZ, U.S.A.Bookmans
Contact seller5-star sellerCondition: Used - Good
US$ 9.95
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Satisfaction 100% guaranteed.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 20.43
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 34.98
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 33.08
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: Bookmans, tucson, AZ, U.S.A.Bookmans
Contact seller5-star sellerCondition: Used - Good
US$ 33.08
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. . Satisfaction 100% guaranteed.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 64.33
US$ 16.51 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 312 pages. 9.00x7.50x0.75 inches. In Stock.
More images- Softcover
Seller: Books & Bobs, Deeside, FLINT, United KingdomBooks & Bobs
Contact seller5-star sellerCondition: Used - Fine
US$ 61.21
US$ 26.35 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Soft cover. Condition: Fine. A tight, bright, and clean copy with no inscriptions and no annotations/notes. No bumps to spine/cover or foxing to pages. Fantastic condition book. 312pp. (19x23.5cm). Please contact us for any more information.
- Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.Lucky's Textbooks
Contact seller5-star sellerCondition: New
US$ 85.52
US$ 3.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 86.88
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 90.23
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 86.35
US$ 15.82 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 82.61
US$ 20.46 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 85.99
US$ 19.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 94.81
US$ 19.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 97.61
US$ 56.15 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures of Prolog do not coincide. Prolog uses an incomplete dept.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 78.39
US$ 80.23 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Towards Putting Abstract Interpretation of Prolog into Practice | Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs | François Gobert | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783836488587 | Verantwortliche Person fü…r die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
More imagesPublished by The MIT Press, US 1990
- Hardcover
Seller: Atlanta Vintage Books, Atlanta, GA, U.S.A.Atlanta Vintage Books
Contact seller5-star sellerCondition: Used - Very good
US$ 1,100.00
US$ 5.00 shippingShips within U.S.A.Quantity: 1 available
Hardback. Condition: Very Good -. Laminate pictorial boards. Previous owner's name in blue pen to top edge of first free end paper and embossed personal library marking to first free end paper and following page, and highlighting to a few sentences at pages 7 and 250-253. Text is otherwise clean and unmarked. Text block has ligh…t soiling and foxing to top edge, a few spots of soiling to center of fore edge, and previous owner's name in blue pen to lower edge near spine. Boards are clean and bright with two small spots of tearing to laminate at top edge of rear board, one along fore egde and one near spine edge, and light bumping to corners and ends of spine. Binding is tight, boards are slightly bowed.
- Softcover
- Print on Demand
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 90.36
Free ShippingShips within U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Softcover
- Print on Demand
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 87.51
US$ 6.63 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 94.39
US$ 71.64 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures of Prolog do not coincide. Prolog use…s an incomplete depth-first search rule, unifications and negations may be unsound, and there are extralogical features like the cut or dynamic predicates.The goal and topic of this thesis is the design, implementation and evaluation of an abstract interpretation framework of Prolog to integrate state-of-the-art techniques. The analyser is based on an original proposal that defines the notion of abstract sequence, which allows one to verify many desirable operational properties of a logic procedure. The properties include types, modes, sharing of terms, proving termination, linear relations between the size of input/output terms and the number of solutions to a call. We also design and implement an optimiser that generates specialised code. The optimiser uses the abstract information to safely apply source-to-source transformations. Code transformations include clause and literal reordering, introduction of cuts, and removal of redundant literals. The optimiser follows a precise strategy to choose the most rewarding transformations in best order.
