Monthly Archives: February 2018

Avoid wrong TexMaker Highlighting with \lstinput

Posted by Pour Raphael Date: 2018-02-13

Since the beginning of my study in 2015 I am used to use TexMaker. One of my most used packages so far is the listings package to make sourcecode look beautiful. I discovered that listings even provides the Macro \lstinput  to highlight source code inside of a textblock. Until that moment, I used \texttt . However […]

Saving Goats with Prolog

Posted by Pour Raphael Date: 2018-02-09

Spoiler: You might have guessed it already… you won’t see any real goat in here[1]. This is about a planning problem and how we can solve it using Prolog. A planning ploblem could be for example a game or a more or less complex task. You know the starting and goal state and the rules […]

Debugging C with GDB

Posted by Pour Raphael Date: 2018-02-06

Introduction As long as the gcc tells you whats wrong (including the -Wall Flag) you can at least barely locate the source of the error. What about Segmentation Faults which are hard to detect during compilation time? The GNU Debugger may give you a clue! The GNU Debugger (short: gdb) is a command line tool […]