News feed

Innehåll visas utifrån dina val

Om du inte hittar någon sida, schemahändelse eller nyhet på din kurswebb kan det bero på att du inte ser den kursomgången/gruppen inom kursen som innehållet tillhör.

Veta mer om din kurswebb

Din kurswebb är sidorna för en kurs du prenumererar på. Du väljer sedan vilka omgångar/grupper inom kursen du vill ha information från. Är du registrerad på en kursomgång sköts prenumeration och val av kursomgäng automatiskt åt dig. Vill du ändra något av detta gör du det under Mina inställningar.

När du är inloggad på din kurswebb ser du:
  • Kursöversikt, nyheter och schema med information som är filtrerat utifrån dina valda omgångar/grupper inom kursen
  • Allmänna sidor för hela kursen
  • Kurswikin som är sidor som alla, lärare och studenter, kan skapa och redigera
  • Sidor som hör till de omgångar/grupper inom kursen du valt eller som valts för dig

Log in to your course web

You are not logged in KTH, so we cannot customize the content.

In the News feed, you find updates for pages, schedule and posts from teachers (when aimed also at earlier registered students).

August 2018
Administrator Alf Thomas Sjöland posted 29 August 2018
 
October 2017
Teacher Alf Thomas Sjöland posted 11 October 2017
Teacher Alf Thomas Sjöland edited 11 October 2017

Summary of lecture week 7

Meta programming. The primitives var, nonvar, ground.¶How to  implement apply in Prolog. map_list as an example of "higher order programming" à la functional programming.¶

Meta programming. The primitives var, nonvar, ground.¶

arg and functor to construct and deconstruct terms.¶

How to collect all solutions in a list:
The primitives findall, bagof and setof.

Self interpreters. The Vanilla prolog interpreter.

Expert systems in Prolog.

 
Teacher Alf Thomas Sjöland posted 11 October 2017
 
Teacher Alf Thomas Sjöland posted 2 October 2017
Teacher Alf Thomas Sjöland edited 2 October 2017

Summary of lecture week 5

Negation with the NAF-rule (negation as failure).

We defined the !-primitive (cut) and introduced "if-then-else"-syntax.

Search in graphs, and problem formulation med generate-and-test.

permute to generate all possible permutations of a list.

Some examples: N-queens, missionaries and cannibals,

Finding a path in a graph. Avoiding loops in graph search.

Different search methods for parallellism in Prolog was skipped.

All questions on the material are welcome! Use e-mail or this News feed.

 
September 2017
Teacher Alf Thomas Sjöland posted 19 September 2017
Teacher Alf Thomas Sjöland edited 29 September 2017

Summary of the lecture week 4

Algorithms over trees and lists. A dictionary implementerad with a sorted open-ended binary tree. Rreverse, append, merge to keep lists sortend. Defining flatten on nested lists.

The accumulating parameter technique. append3. Considering the complexity. Using apopend3 to divide a list in three parts. Which is better ((app o app) o app)  or (app o (app o app))  (using o for relation composition)?

Difference lists. Implementing append for difference lists. Complexity. Consider similarities between using difference lists and the accumulating parameter technique.

Generalising an algorithm by defining separate clauses for representations and equality.

"abstract data types", keeping the represenation separated from the algorithm.

 
Teacher Alf Thomas Sjöland posted 13 September 2017
 
Teacher Alf Thomas Sjöland posted 8 September 2017
 
Teacher Alf Thomas Sjöland posted 8 September 2017
 
Feedback News